Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·18h·
Discuss: DEV
⚡Incremental Computation
Property-based testing of batch-invariant operations
mmaaz.ca·4d·
Discuss: Hacker News
✨Effect Handlers
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
The self-assignment principle for Windows Runtime properties: Don’t change behavior based on whether a property has been written to
devblogs.microsoft.com·5h
⟷Bidirectional Programming
Operable Software
ferd.ca·6h·
Discuss: Hacker News
👁️System Observability
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
You Can't Mock Reality: Testing a 3D Rendering Pipeline in Blender
medium.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust Macros
Implicit `operator bool` participates in comparison
quuxplusone.github.io·19h
🦀Rust Verification
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·6h
⬜Minimalism
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·15h
📋Document Grammar
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros